Per Martin-Löf
ペール・マーティン=レーフ
業績
Martin-Löf型理論